<tippytop id="tippytop"><!--Tippytop is distributed under the WTFPL 3.1 License, Read it at https://raw.githubusercontent.com/dtf0/wtfpl/master/wtfpl-v3_1.txt--><a name="thetop"></a><div class="tippytop-styletarget" style="position:-webkit-sticky;position:sticky;top:0;text-align:right;z-index:32767;"><a href="#thetop">↑</a></div></tippytop>